
#define CONFIG_BIGINT_BARRETT 1
#define CONFIG_BIGINT_CRT 1
#define CONFIG_BIGINT_SQUARE 1
#define CONFIG_BIGINT_32BIT 1

